Combinatory logic - PDFSEARCH.IO - Document Search Engine

Combinatory logic
Results: 540

#	Item
431	Publ. Math. Debrecen Manuscript (October 26, 2010) Primitive sets with large counting functions By Greg Martin and Carl Pomerance Add to Reading List Source URL: www.math.dartmouth.edu Language: English - Date: 2011-03-21 17:47:36 Combinatory logic Logarithm Mathematics Prime number theorem Exponentiation
432	International Journal of Foundations of Computer Science c World Scientific Publishing Company ° ON THE COMPLEXITY OF COMPUTING VALUES OF RESTRICTED GAMES Add to Reading List Source URL: www.esi2.us.es Language: English - Date: 2002-06-14 09:28:59 Shapley value Summation Matroid Combinatory logic Greedoid Mathematics Game theory Cooperative game
433	Log-spectral feature reconstruction based on an occlusion model for noise robust speech recognition Jos´e A. Gonz´alez, Antonio M. Peinado, Angel M. G´omez Ning Ma Add to Reading List Source URL: jandresgonzalez.files.wordpress.com Language: English - Date: 2013-09-09 10:01:26 Statistical inference Minimum mean square error Speech enhancement Additive white Gaussian noise Mixture model Combinatory logic Statistics Signal processing Estimation theory
434	Concentration of non-Lipschitz functions and applications V. H. Vu ∗ October 19, 2001 Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2003-07-07 12:45:54 Lipschitz continuity Combinatory logic Martingale Derivative Differential equation Itō diffusion Theorems and definitions in linear algebra Mathematical analysis Mathematics Calculus
435	On Curling Numbers of Integer Sequences Benjamin Chaﬃn, Intel Processor Architecture, 2111 NE 25th Avenue, Hillsboro, OR 97124, USA, Email: [removed], John P. Linderman, Add to Reading List Source URL: neilsloane.com Language: English - Date: 2013-03-12 13:39:33 Sequence Combinatory logic Mathematics Integer sequences On-Line Encyclopedia of Integer Sequences
436	lci Manual Kostas Chatzikokolakis 12 March 2006 This manual describes the use of lci, which is an advanced interpreter for the λ-calculus. This program was first developed by Kostas Chatzikokolakis Add to Reading List Source URL: lci.sourceforge.net Language: English - Date: 2006-03-13 15:27:23 Mathematical logic Recursion Computability theory Combinatory logic Logic in computer science Fixed-point combinator Associative property Operator associativity Function Mathematics Theoretical computer science Lambda calculus
437	UNPROVABILITY RESULTS INVOLVING BRAIDS LORENZO CARLUCCI, PATRICK DEHORNOY, AND ANDREAS WEIERMANN Abstract. We construct long sequences of braids that are descending with respect to the standard order of braids (“Dehorn Add to Reading List Source URL: www.math.unicaen.fr Language: English - Date: 2007-11-23 13:16:30 Geometric topology Braid group Ordinal number Dehornoy order Braid theory Constructible universe Combinatory logic Normal distribution Knot theory Abstract algebra Mathematics
438	The Gift Exchange Problem David Applegate and N. J. A. Sloane(a) , AT&T Shannon Labs, 180 Park Ave., Florham Park, NJ[removed], USA. (a) Add to Reading List Source URL: neilsloane.com Language: English - Date: 2012-01-02 21:20:57 Number theory Orthogonal polynomials Bessel polynomials Summation Factorial Recurrence relation Combinatory logic Stirling number Proof that π is irrational Mathematics Integer sequences Combinatorics
439	Random Generation with Philippe Flajolet Philippe Flajolet and Analytic Combinatorics Paul Zimmermann December 15, 2011 Add to Reading List Source URL: www.loria.fr Language: English - Date: 2011-12-15 09:09:10 Philippe Flajolet Analytic combinatorics Combinatory logic I Combinatorics Mathematical analysis Mathematics
440	Theory Comput. Systems 35, 483–[removed]DOI: [removed]s00224[removed]Theory of Computing Systems Add to Reading List Source URL: www.psrg.lcs.mit.edu Language: English - Date: 2007-02-01 15:29:54 Turing machine Computer science Computability theory Formal methods Universal Turing machine Qi Combinatory logic Finite-state machine Algorithm Theoretical computer science Theory of computation Models of computation

UPDATE